$\forall$$T$:Type, $P$, $Q$:(($T$ List)$\rightarrow$Prop). star{-}append($T$;$P$;$Q$) $\in$ ($T$ List)$\rightarrow$Prop